$\forall$$A$, $B$:Type, ${\it opa}$:($A$$\rightarrow$$A$$\rightarrow$$A$), ${\it opb}$:($B$$\rightarrow$$B$$\rightarrow$$B$), $f$:($A$$\rightarrow$$B$). SqStable(FunThru2op($A$;$B$;${\it opa}$;${\it opb}$;$f$))